- biconditional
- \\|bī+\ noun
1. : a statement of a relation between a pair of propositions such that one is true only if the other is simultaneously true, or false if the other is simultaneously false
Useful english dictionary. 2012.
biconditional
Look at other dictionaries:
Biconditional elimination — allows one to infer a conditional from a biconditional: if ( A ↔ B ) is true, then one may infer either direction of the biconditional, ( A → B ) and ( B → A ).For example, if it s true that I m breathing if and only if I m alive, then it s true… … Wikipedia
Biconditional introduction — In mathematical logic, biconditional introduction is the rule of inference that, if B follows from A, and A follows from B, then A if and only if B.For example, from the statements if I m breathing, then I m alive and if I m alive, then I m… … Wikipedia
biconditional gate — loginis ekvivalentumo elementas statusas T sritis automatika atitikmenys: angl. biconditional gate; equality gate; equivalence element; equivalence gate; equivalent to element; exclusive NOR gate; identity element; material equivalence element… … Automatikos terminų žodynas
biconditional — noun Date: 1940 a relation between two propositions that is true only when both propositions are simultaneously true or false see truth table table … New Collegiate Dictionary
biconditional — /buy keuhn dish euh nl/, adj. Logic. (of a proposition) asserting that the existence or occurrence of one thing or event depends on, and is dependent on, the existence or occurrence of another, as A if and only if B. [1935 40; BI 1 + CONDITIONAL] … Universalium
biconditional — 1. adjective Having two conditions 2. noun An if and only if conditional wherein the truth of each term depends on the truth of the other … Wiktionary
biconditional — A proposition of the form ‘if p then q and if q then p ’. It is standardly written p iff q … Philosophy dictionary
biconditional — bi·conditional … English syllables
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
If and only if — Iff redirects here. For other uses, see IFF (disambiguation). ↔ ⇔ ≡ Logical symbols representing iff. In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between… … Wikipedia
